1. Mathematical theory of program correctness
پدیدآورنده: Bakker, J. W. de )Jacobus Willem(, 9391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer programs -- Correctness,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
B335
2. Mathematical theory of program correctness
پدیدآورنده: Bakker, Jacobus Willem
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Correctness ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
B335
3. Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
رده :
QA
75
.
5
.
S9574a
